- impredicativity
- импредикабельность
Англо-русский технический словарь.
impredicativity
Смотреть что такое "impredicativity" в других словарях:
Impredicativity — In mathematics and logic, impredicativity is the property of a self referencing definition. More precisely, a definition is said to be impredicative if it invokes another set which contains the thing being defined.Russell s paradox is a famous… … Wikipedia
Impredicativity — Imprédicativité L imprédicativité est un terme du domaine des mathématiques, de la logique, de la théorie des ensembles et de la théorie des types. Sommaire 1 Définitions 2 Bibliographie 3 Voir aussi … Wikipédia en Français
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
Edmund Husserl — Infobox Philosopher region = Western Philosophy era = 20th century philosophy color = #B0C4DE image caption = Edmund Husserl name = Edmund Gustav Albrecht Husserl birth = April 8, 1859 (Prostějov, Moravia) | death = death date and… … Wikipedia
Self-reference — The Treachery Of Images (1928 29) by René Magritte depicts a pipe along with text stating This is not a pipe. Note: This image is an illustration of a self reference case only if the demonstrative pronoun ceci ( this ) refers not to the idea of a … Wikipedia
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
Predicative — may mean:* Predicative (adjectival or nominal) * Predicative (verb) * Lacking impredicativity … Wikipedia
List of mathematics articles (I) — NOTOC Ia IA automorphism ICER Icosagon Icosahedral 120 cell Icosahedral prism Icosahedral symmetry Icosahedron Icosian Calculus Icosian game Icosidodecadodecahedron Icosidodecahedron Icositetrachoric honeycomb Icositruncated dodecadodecahedron… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Alexander George — ist ein US amerikanischer Philosoph mit Forschungsschwerpunkten vor allem in der Philosophie der Mathematik und Sprachphilosophie. Außerdem ist er Schachkomponist. Inhaltsverzeichnis 1 Philosophie 2 Schachkomposition 3 Werke (Auswahl) … Deutsch Wikipedia
Imprédicativité — L imprédicativité est un terme du domaine des mathématiques, de la logique, de la théorie des ensembles et de la théorie des types. Sommaire 1 Définitions 2 Aspect calculatoire de l imprédicativité 3 Bibliographie … Wikipédia en Français
